\Slide{jsr subroutines}{
\B
\item The {\tt jsr} bytecode instruction jumps to a subroutine
      within a method
  \B
  \item Used by some versions of javac when generating code for a {\tt finally} block
  \E
\item FindBugs inlines all {\tt jsr} subroutines into the
      method control flow graph
  \B
  \item Greatly simplifies implementation of dataflow analysis
  \item Means that an InstructionHandle may be part of multiple BasicBlocks
  \E
\item Location = BasicBlock + InstructionHandle
  \B
  \item Marks location of a particular
        instruction in a particular basic block
  \E
\E
}
